PENNY: A Programming Language and Compiler for the Context Interchange Project
نویسندگان
چکیده
In this Thesis, I designed and implemented a programming language and compiler for use under the COntext INterchange Architecture, MINT. The language, known as PENNY, was born from COINL, a deductive object-oriented language originally used to program under the MINT architecture. This new language boasts a new look and feel to provide a greater abstraction and minimize the complexity for the user. Furthermore, a compiler has been implemented which uses PENNY as its source language and DATALOG with negation as its destination language. Two existing applications have been re-coded in PENNY to demonstrate the language's ease of use and the compiler's capabilities. Thesis Supervisor: Michael D. Siegel Title: Principal Research Scientist, Sloan School of Management
منابع مشابه
PENNY : A Programming Language and Compiler for the Context
In this Thesis, I designed and implemented a programming language and compiler for use under the COntext INterchange Architecture, mint. The language, known as penny, was born from coinl, a deductive object-oriented language originally used to program under the mint architecture. This new language boasts a new look and feel to provide a greater abstraction and minimize the complexity for the us...
متن کاملUsing Protocol Buffers for Resource-Constrained Distributed Embedded Systems
Protocol Buffers are a widely used, robust and efficient data interchange format contributed and maintained by Google. Specifications of custom messages, fields and enumerations are comfortably defined in the Proto language and then compiled to a large variety of target programming languages like C++, Java and Python. This makes Protocol Buffers an excellent choice when heterogeneous system pla...
متن کاملPOET: a scripting language for applying parameterized source-to-source program transformations
We present POET, a scripting language designed for applying advanced program transformations to code in arbitrary programming languages as well as building adhoc translators between these languages. We have used POET to support a large number of compiler optimizations, including loop interchange, parallelization, blocking, fusion/fission, strength reduction, scalar replacement, SSE vectorizatio...
متن کاملA Compiler Project with Learning Progression
We describe the design of an undergraduate compilers course for computer engineering students in which the project is to write a simulator and synthesizer for (a subset of) VHDL. The traditional project for such a course is to write a compiler for (a subset of) some procedural programming language. The choice of source language is superficially intended to drive student engagement for computer ...
متن کاملDeveloping a Model of Identity for the Iranian EFL Context: with a Focus on Language Proficiency
This study intended to develop a model of identity for the Iranian EFL context with emphasize on their language proficiency. Moreover, the study defined learners' opinions about the language and identity and that method would be the best to be taught. The project had a cross-sectional quantitative research design, collecting both quantitative and qualitative data via interviews, questionn...
متن کامل